Differential Geometry: Curvature You Can Feel From the Inside

Pick up a slice of pizza. Held flat, the tip flops down. Fold the crust into a shallow trough and the whole slice stiffens, tip and all. You did not plan that. You exploited a theorem that Carl Friedrich Gauss proved in the 1820s: a sheet can be bent in one direction freely, but the moment it curves one way it cannot also curve the other without stretching. The fold buys the slice a stiffness it did not have.

Look at a flight map and the shortest route from Madrid to Tokyo is a curve that arcs far north, over Siberia. The flat map lies. Stand a Foucault pendulum in Paris and its swing plane turns through about 270 degrees a day, with nothing pushing it sideways. The floor of the building is curving under it.

Differential geometry is the mathematics of curvature: what it is, how to measure it with nothing but a ruler laid along the surface, and what it does to straight lines, triangles and arrows. It is the language Einstein needed in 1915, and in this piece you will play with its six central ideas.

A curve's curvature is how fast its direction turns

Start with a line, which has no curvature. Now a circle. Walk around one and your direction turns steadily; a small circle makes you turn sharply, a huge one barely at all. So define the curvature of a curve at a point as the rate at which the direction turns per unit distance walked, and the radius of curvature as its reciprocal. For a circle of radius R that gives κ = 1/R. For any other curve, the osculating circle (from the Latin for "kissing") is the circle that hugs it most closely at that point, and its radius is the radius of curvature there.

Drag the point round an ellipse below. The curve is gentlest along the flat sides and sharpest at the ends of the long axis, where the kissing circle shrinks.

The proof sketch that stays with you. Add up all the turning along a closed loop that never crosses itself and you always get exactly one full turn, 360 degrees. Squash the loop, dent it, make it a potato: the total is unchanged (this is the turning tangents theorem of Heinz Hopf, 1935). The real trick is to slide the loop towards a circle without letting it cross itself. The turning total can only change in whole turns, and the only whole number it could be is the one the circle gives. The readout adds up the turning of your ellipse numerically, and it is 360 degrees for every shape you choose.

A surface bends two ways at once

On a surface there is no single curvature at a point, because the answer depends on which direction you slice. Cut a saddle along the line from the pommel to the cantle and the cut curves up; cut it across and the cut curves down. The two extreme slices, at right angles to one another, give the principal curvatures κ₁ and κ₂. Leonhard Euler showed that every other slice is a blend of the two.

Gauss's one number multiplies the two: K = κ₁ × κ₂. A bowl or a ball curves the same way both ways, so K is positive. A saddle curves opposite ways, so K is negative. A cylinder, such as a rolled sheet, curves one way and is straight the other, so K = 0. The product is the point: flat in one direction is enough to make K zero.

Proof sketch of Euler's formula. Near a point, a smooth surface looks like z = ½(κ₁x² + κ₂y²). Slice along direction θ by putting x = s cos θ and y = s sin θ. You get z = ½(κ₁ cos²θ + κ₂ sin²θ)s², a parabola whose curvature is exactly the bracket. The real trick is the first step: choosing axes along the extreme directions makes the cross term vanish.

Curvature can be measured from the inside

Here is the surprise. K was defined using how the surface sits in three-dimensional space, which an ant on it cannot see. Yet in 1827 Gauss proved (in his Disquisitiones generales circa superficies curvas, published 1828) that K depends only on distances measured along the surface. He called it the Theorema Egregium, the "remarkable theorem". Bending without stretching, as you do with paper, never changes K. That is why a flat sheet can roll into a cylinder or a cone (K stays 0) but never into a ball (K = 1/R²): the pizza fold in the first paragraph, and the reason every flat world map distorts something.

How would an ant find K? Draw a circle of radius r on the surface, measuring r along the surface from the centre, and then measure its circumference. On a flat plane it is 2πr. On a sphere of radius R it is 2πR sin(r/R), which is smaller. On a saddle it is larger, because there is extra room.

On the Earth, a circle of radius 1,000 km measured over the surface has a circumference of 6,257 km, not 6,283 km: 26 km short, enough for a surveyor to notice and for the circle to know the planet is round.

Proof sketch. The full proof of the Theorema Egregium is a calculation, but its idea is the circle test. Everything in the circle test is a distance measured along the surface, so K, which the formula extracts, is built from the surface's own distances. The real trick is the identity K = κ₁κ₂: two numbers that each need the outside view combine into one that does not. For a surface whose circles have circumference 2π f(r), the same idea gives the neat formula K = −f″/f.

Straight lines and triangles on a curved surface

A "straight line" on a surface is a geodesic: the path you follow if you walk without turning left or right. On a sphere these are great circles, which is why the Madrid-to-Tokyo flight arcs north. On any curved surface, geodesics do the odd things that straight lines do not. Two nearby ones on a ball meet again (all meridians meet at the pole); on a saddle they diverge faster than in a plane. Triangles built from geodesics have angles that no longer add to 180 degrees.

Proof sketch on a sphere, which really is a proof. A lune, the slice of a sphere between two meridians that meet at angle α, covers a fraction α/2π of the area 4πR², so its area is 2αR². Extend the three sides of a triangle into full great circles: they cut the sphere into pieces, and adding up the lune areas and matching antipodal copies gives area = (α + β + γ − π)R². The real trick is counting each lune's area by its angle alone. The excess over 180 degrees equals the area divided by R².

Gauss knew this. In his geodetic survey of the kingdom of Hanover he measured a large triangle between the peaks Hohehagen, Brocken and Inselsberg, with sides of about 69, 85 and 107 km. The excess works out to roughly 15 arcseconds, buried inside the survey's measurement error. The common story that Gauss was testing whether physical space is Euclidean is, according to his biographer Buhler and others, a myth; historians still argue about his motives, and what is clear is that he had the mathematics ready.

Carry an arrow round a loop and it comes back turned

Take an arrow lying in a surface and slide it along a path, keeping it as parallel as the surface allows (no turning relative to the path's straight-ahead direction). That is parallel transport. In a plane it comes back unchanged however you wander. On a curved surface, it comes back rotated. The rotation, called holonomy, equals the total curvature enclosed by the loop.

The cleanest picture is a circle of latitude φ on the Earth. Cut a cone that touches the sphere along that circle and unroll it flat: it becomes a pie slice whose angle is only 360° × sin φ, not a full circle. Carry an arrow along the edge and keep it fixed in the flat picture. When the two cut edges of the slice are glued back, the arrow no longer lines up with the local "north", and the gap is the missing angle, 360° × (1 − sin φ). This is exactly the Foucault pendulum: a pendulum keeps its swing plane parallel-transported, so relative to the ground it turns by 360° × sin φ a day. At Paris (48.85° N) that is about 271° a day. Foucault's public demonstration under the dome of the Panthéon was in 1851.

The real trick. Unrolling the cone is free of stretching, so the arrow can be moved in the flat picture, where "parallel" has its ordinary meaning. All of the mismatch comes from the glued seam. Check against the formula: the area of the polar cap above latitude φ is 2πR²(1 − sin φ), and K = 1/R², so ∫K dA = 2π(1 − sin φ), the same missing angle.

Total curvature is a whole number of turns

Add up K over an entire closed surface and something astonishing happens. A sphere gives 4π. A dented, stretched or lumpy sphere also gives exactly 4π: the dents have negative curvature that precisely cancels the extra positive curvature around them. A doughnut gives 0, because its outer rim is bowl-like (positive curvature) and its inner ring is saddle-like (negative), and the two totals, +4π and −4π, cancel. This is the Gauss–Bonnet theorem:

The number χ is the Euler characteristic, which counts vertices − edges + faces on any triangulation of the surface and is the topologist's way of counting holes (Topology, 34/76). The theorem says that an average of a local, calculus quantity equals a global, hole-counting one. It is one of the first and most beautiful bridges between analysis and topology.

Proof sketch. Cut the surface into small geodesic triangles. Each has angle sum = π + ∫K dA over it, so adding all of them, ∫K dA over the whole surface equals (sum of every angle) − π × (number of triangles). The angles around each vertex add to 2π, so the sum of every angle is 2π × V, and the 'π per triangle' terms add to π × F. Each triangle has 3 sides and each edge is shared by 2 triangles, so 3F = 2E, which lets you rewrite πF as 2πE − 2πF. The total becomes 2π(V − E + F). The real trick is to use the triangle formula once per triangle and let the counting do the rest.

Gauss–Bonnet has an unexpected afterlife. Richard Hamilton's Ricci flow, which smooths the curvature of a space like heat spreading, was the engine of Grigori Perelman's 2002–03 proof of the Poincaré conjecture, the one Millennium Prize problem solved so far.

What a graduate just sees

• Curvature is how fast direction turns; its reciprocal is the radius of the circle that kisses the curve.
• On a surface, curvature is two numbers, and their product K tells you bowl (K > 0), saddle (K < 0) or can-be-rolled-flat (K = 0).
• If a sheet is bent one way it resists being bent the other: that is why a folded pizza slice and a corrugated roof are stiff.
• K is intrinsic: a creature on the surface can detect it by measuring circles and triangles, with no view from outside.
• Every flat map of a sphere must distort something, because the sphere cannot be flattened without stretching.
• "Straight" means no turning, which makes a geodesic a great circle on a sphere.
• Carry an arrow round a loop and it comes back turned by the curvature inside: a Foucault pendulum and a Paris-sized triangle are the same fact.
• Total curvature of a closed surface counts holes: 4π for any sphere, 0 for any doughnut, however dented.

Where it shows up next

• General Relativity (34/85): Einstein's 1915 theory says matter tells spacetime how to curve and spacetime tells matter how to move. The curved geometry is that of Bernhard Riemann's 1854 lecture, the generalisation of Gauss to any number of dimensions; free-falling objects follow geodesics.
• Classical Mechanics (34/82): the state space of a mechanical system is a curved manifold, and a rigid body's rotation lives on one.
• Topology (34/76): Gauss–Bonnet is where local geometry meets global shape.
• Computer graphics and robotics: smoothing a 3D scan, flattening a mesh for a texture map, and planning a robot arm's motion on its configuration space all use discrete curvature and geodesics. Keenan Crane's course notes on discrete differential geometry are a good example.
• Navigation: GPS software computes distances on a curved Earth with geodesics on an ellipsoid, because the sphere is not exact enough.

If you want to go deeper

• 📘 Textbook: Manfredo do Carmo, Differential Geometry of Curves and Surfaces (2nd ed., Dover, 2016): the standard first course on curves and surfaces, with Gauss–Bonnet as the climax.
• 📘 Textbook: Andrew Pressley, Elementary Differential Geometry (2nd ed., Springer, 2010): a clearer route for readers who want more worked examples.
• 📘 Gentler: Tristan Needham, Visual Differential Geometry and Forms (Princeton University Press, 2021): geometric pictures instead of index gymnastics.
• 🌐 Free course: MIT OpenCourseWare 18.950 Differential Geometry (Fall 2008, Paul Seidel), with lecture notes and problem sets.